How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·22h·
Discuss: DEV
📝Concrete Syntax
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
How to actually use Model Context Protocol
seangoedecke.com·10h
⚡Proof Automation
LLM-Augmented Symptom Analysis for Cardiovascular Disease Risk Prediction: A Clinical NLP
arxiv.org·1d
🎙️Whisper
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·2h
🔄Reproducible Builds
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·10h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Asymmetry of Verification and Verifier's Law
jasonwei.net·1d·
Discuss: Hacker News
🔮Proof Search
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
This “smart coach” helps LLMs switch between text and code
news.mit.edu·6h
💻Local LLMs
How to reason from first principles
caseyhandmer.wordpress.com·15h·
Discuss: Hacker News
🎯Proof Tactics
The Power of Building from Scratch
towardsdatascience.com·19h
🌍Cultural Algorithms
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·6h
📏Linear Logic
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·2h·
Discuss: Hacker News
🏛Digital humanities
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·19h·
Discuss: DEV
🌀Brotli Internals
AtCoder Finals Problem Statement
atcoder.jp·17h·
Discuss: Hacker News
🇯🇵Japanese Computing
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
Let's Tidy Up State Government
statesforum.org·14h·
Discuss: Hacker News
⚖️Legal Compliance
Students, here are 5 key things to know when learning how to train large language models
techradar.com·1d
💻Local LLMs
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·20h·
Discuss: Hacker News
🌊Stream Processing